Section: Dissemination

Invited Talks

• Workshop on Computed-Aided Security, Grenoble, France, January: Bruno Blanchet

• ETAPS unifying invited speaker, Tallinn, Estonia March: Bruno Blanchet

• Workshop on Formal and Computational Cryptographic Proofs, Cambridge, UK (April): Bruno Blanchet

• Alan Turing Year workshop: Is Cryptographic Theory Practically Relevant?, Cambridge, 31 January - 2 February: Graham Steel

• PROOFS workshop, satellite of CHES, September: Graham Steel

• DIGITEO Forum, Ecole polytechnqiue November: Graham Steel

• Ruhr University Bochum Seminar, June: Graham Steel